solving exponential inequalities